科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:线性并发约束编程和约束处理规则之间保留语义的翻译*
Thierry Martinez;
机译:使用约束处理规则和数组约束归纳进行程序验证
机译:约束处理规则中的并行,并发和分布:调查
机译:基于目标的并发执行约束处理规则
机译:用于将基于模型的规范转换为并发约束程序的算法的形式语义
机译:具有线性互补约束的线性程序的分枝和切割方法。
机译:带盒约束的单线性约束二次程序的加速近距离梯度算法
机译:使用约束处理规则和数组约束概括进行程序验证
机译:非单调并发约束规划
机译:将逻辑约束转换为线性约束的方法和系统
机译:用于具有多个布线规则和网络约束的集成电路设计的详细布线的方法和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。